Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
121	PDF Document Add to Reading List Source URL: www.qedeq.org Language: English - Date: 2013-05-24 16:15:39 Propositional calculus Formal languages Logical syntax First-order logic Proposition Predicate variable Well-formed formula Function Lambda calculus Logic Mathematical logic Predicate logic
122	PDF Document Add to Reading List Source URL: www.math.wisc.edu Language: English - Date: 2008-04-24 11:40:22 Logical syntax Model theory Formal languages Metalogic Interpretation Entailment Logical connective First-order logic Well-formed formula Logic Mathematical logic Propositional calculus
123	PDF Document Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-03 19:03:19 Formal languages Logical syntax Propositional calculus Prenex normal form Interpretation First-order logic Entailment Well-formed formula Substitution Logic Metalogic Model theory
124	PDF Document Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2007-07-18 12:02:08 Mathematical logic Boolean algebra Linguistics Semantics Model theory Stable model semantics Propositional formula Literal Negation Logic Propositional calculus Logic programming
125	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-12-10 03:34:14 Logic programming Propositional calculus Boolean algebra Rules of inference Stable model semantics Answer set programming Resolution Atomic formula Negation Logic Mathematical logic Mathematics
126	PDF Document Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2011-12-13 04:40:36 Model theory Formal languages Metalogic First-order logic Interpretation Dependence logic Entailment Well-formed formula Substitution Logic Propositional calculus Mathematical logic
127	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2003-10-15 07:19:02 Modal logic Non-classical logic Model theory Temporal logic First-order logic Substitution Accessibility relation Well-formed formula Linear temporal logic Logic Mathematical logic Propositional calculus
128	PDF Document Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:42 Boolean algebra Semantics Model theory Logical syntax Interpretation Tautology Logical connective Propositional formula Well-formed formula Logic Mathematical logic Propositional calculus
129	PDF Document Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-05-07 17:14:15 NP-complete problems Boolean algebra Hamiltonian path Gray code Boolean satisfiability problem Conjunctive normal form Induced path Propositional formula Cube Mathematics Theoretical computer science Graph theory
130	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2002-09-01 15:32:00 Logical syntax Predicate logic Mathematical logic Propositional calculus First-order logic Well-formed formula Atomic formula Logical connective Function Logic Mathematics Formal languages

UPDATE